Parallelism or synthesis? Robin Davidson
نویسندگان
چکیده
منابع مشابه
Or-Parallelism within Tabling
One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficiently exploited in tabling systems and propose two alternative approaches, Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism (TOP). We concentrate on the fundamental concepts of an environment copying based mo...
متن کاملDAOS - Scalable And-Or Parallelism
This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically shared address space. Exploiting both major forms of implicit parallelism should serve a broadest range of applications. Besides, a model that uses a distributed memory environment provides scalability and can be implemented over...
متن کاملThread-Based Competitive Or-Parallelism
References Ertel, W.: Performance Analysis of Competitive Or-Parallel Theorem Proving. Technical report fki-162-91, Technische Universitat Munchen (1991) Shapiro, E.: The Family of Concurrent Logic Programming Languages. ACM Computing Surveys 21(3) (1989) 413–510 González, A.: Speculative Threading: Creating New Methods of Thread-Level Parallelization. Technology@Intel Magazine (2005) Moura, P....
متن کاملThreads and or-parallelism unified
One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threade...
متن کاملHacking Davidson
Scheme,” Donald Davidson argues against the logical possibility of conceptual schemes. Believing it a remnant of the incomplete eradication of dogma in the empiricist tradition, Davidson wishes to undermine what he believes is the source of talk of conceptual relativism: the third dogma of scheme-content duality. Building on Quine, he constructs an argument intended to illustrate the peculiar p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Addiction
سال: 1994
ISSN: 0965-2140,1360-0443
DOI: 10.1111/j.1360-0443.1994.tb00843.x